Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
261	Statistical Downscaling -Verification statistics (from MDL) • • • Add to Reading List Source URL: www.emc.ncep.noaa.gov Language: English - Date: 2010-05-24 14:04:16 Estimation theory Forecast error Generalized epilepsy with febrile seizures plus Forecasting Knowledge Statistical forecasting Statistics Error
262	Criteria for Selection of Environmental Decision Support Software Technology Demonstration Participants December 1997 Add to Reading List Source URL: epa.gov Language: English - Date: 2014-08-05 13:08:54 Knowledge engineering Software testing Knowledge Technology Science Environmental Technology Verification Program Decision making Decision theory Information systems Decision support system
263	EVERGREEN LINE RAPID TRANSIT PROJECT PROJECT AGREEMENT APPENDIX G: SYSTEMS GENERAL REQUIREMENTS EXECUTION Add to Reading List Source URL: www.partnershipsbc.ca Language: English - Date: 2013-04-29 17:40:53 Systems theory System requirements Requirement Verification Construction Reliability engineering Design review Government procurement in the United States Systems engineering process Systems engineering Systems science Science
264	Safe Children Coalition Community Based Care Foster Parent Training Verification Add to Reading List Source URL: safechildrencoalition.org Language: English - Date: 2012-09-18 11:03:17 Attachment theory Psychotherapy Attachment-based therapy Family Foster care Foster
265	Fiscal Year 2013 Oil and Gas Inspection and Enforcement Strategy Matrices Instructions and Strategy Goals Add to Reading List Source URL: www.blm.gov Language: English - Date: 2014-11-26 19:09:02 Validity Inspection Verification and validation ALGOL 68 Software engineering Computing Quality Programming language theory Pharmaceutical industry
266	Safe Children Coalition Community Based Care Foster Parent Training Verification Add to Reading List Source URL: www.safechildrencoalition.org Language: English - Date: 2012-09-18 11:03:17 Attachment theory Psychotherapy Attachment-based therapy Family Foster care Foster
267	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:09:36 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
268	Compact Proofs of Retrievability Hovav Shacham∗ [removed] Brent Waters† [removed] Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2012-09-27 16:18:47 Random oracle IP NP Randomized algorithm RSA Challenge-response authentication Formal verification Standard model Cryptography Public-key cryptography Probabilistic complexity theory
269	Automated Sensor Verification using Outlier Detection in the Internet of Things Nauman Javed and Tilman Wolf Department of Electrical and Computer Engineering University of Massachusetts, Amherst, MA, USA {njaved,wolf}@e Add to Reading List Source URL: www.ecs.umass.edu Language: English - Date: 2013-12-04 11:29:25 Econometrics Sensors Measuring instruments Cyber-physical system Outlier Errors and residuals in statistics Control theory Anomaly detection Standard deviation Statistics Data analysis Regression analysis
270	TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, and Richard M. Murray* * Singapore-MIT Alliance for Research and Technology, Sing Add to Reading List Source URL: www.aero.umd.edu Language: English - Date: 2014-08-25 12:01:34 Applied mathematics Linear temporal logic Temporal logic Formal verification Model checking Model predictive control Control theory SIGNAL Embedded system Electronic engineering Formal methods Formal sciences

UPDATE